第4题
某企业欲研制某宇航控制系统。该系统对软件的可靠性要求很高，分配给软件的可靠性指标为R≥0.99 。根据软件结构设计方案，该软件由7个模块XI，X2, X7组成，分别完成不同的控制功能。
为了保证该控制系统能够满足环境可靠性指标，李工认为应该首先采用故障树方法分析，预测出可靠性指标。该企业主管采用了李工的建议，建立了该软件的故障树模型 (如图4-1所示)，评估出了每个模块的可靠性指标，同时在每个模块的设计与实现过程中，采用了流程优化、结构优化、降低设计复杂度等方法来提高模块的可靠性指标。
软件开发完成后，项目组对该软件进行了相应的可靠性测试，得到了各模块的失效概率为：FX1=FX2=0.05, FX3=0.008, FX4=0.07, FX5=FX6=0.05, FX7=0.08,通过计算割集的失效概率来近似计算整个软件的可靠性指标，计算结果表明该软件的可靠性未达到分配的指标要求。
为了保证该控制系统能够满足环境可靠性指标，李工认为应该首先采用故障树方法分析，预测出可靠性指标。该企业主管采用了李工的建议，建立了该软件的故障树模型 (如图4-1所示)，评估出了每个模块的可靠性指标，同时在每个模块的设计与实现过程中，采用了流程优化、结构优化、降低设计复杂度等方法来提高模块的可靠性指标。
软件开发完成后，项目组对该软件进行了相应的可靠性测试，得到了各模块的失效概率为：FX1=FX2=0.05, FX3=0.008, FX4=0.07, FX5=FX6=0.05, FX7=0.08,通过计算割集的失效概率来近似计算整个软件的可靠性指标，计算结果表明该软件的可靠性未达到分配的指标要求。
【问题：4.1】请给出该故障树的所有最小割集。
【问题：4.2】根据题中给出的、经过可靠性测试后得到的每个模块的失效概率，计算每个割集失效概率，并近似计算出整个软件的失效概率，说明该软件的可靠性测试指标确未达要求。
【问题：4.3】请进一步分析导致该软件可靠性测试未能满足分配指标要求的原因，并给出后续的改进策略。